1. Identificação | |
Tipo de Referência | Artigo em Evento (Conference Proceedings) |
Site | plutao.sid.inpe.br |
Código do Detentor | isadg {BR SPINPE} ibi 8JMKD3MGPCW/3DT298S |
Identificador | J8LNKAN8RW/34DNU6S |
Repositório | dpi.inpe.br/plutao@80/2008/12.18.15.55 (acesso restrito) |
Última Atualização | 2015:04.16.18.57.29 (UTC) administrator |
Repositório de Metadados | dpi.inpe.br/plutao@80/2008/12.18.15.55.13 |
Última Atualização dos Metadados | 2021:02.06.21.47.41 (UTC) administrator |
Chave Secundária | INPE--PRE/ |
DOI | 10.1109/ICSTW.2008.7 |
Rótulo | lattes: 9311443298836689 3 SantiagoVijGuiAmaFer:2008:EnAuTe |
Chave de Citação | SantiagoVijGuiAmaFer:2008:EnAuTe |
Título | An Environment for Automated Test Case Generation from Statechart-based and Finite State Machine-based Behavioral Models |
Ano | 2008 |
Data de Acesso | 03 maio 2024 |
Tipo Secundário | PRE CI |
Número de Arquivos | 1 |
Tamanho | 288 KiB |
|
2. Contextualização | |
Autor | 1 Santiago, Valdivino 2 Vijaykumar, Nandamudi L. 3 Guimarães, Danielle Souza 4 Amaral, Ana Silvia 5 Ferreira, Érica |
Grupo | 1 DAS-CEA-INPE-MCT-BR 2 LAC-CTE-INPE-MCT-BR 3 4 LAC-CTE-INPE-MCT-BR |
Afiliação | 1 Instituto Nacional de Pesquisas Espaciais (INPE) 2 Instituto Nacional de Pesquisas Espaciais (INPE) 3 4 Instituto Nacional de Pesquisas Espaciais (INPE) |
Endereço de e-Mail do Autor | 1 valdivino@das.inpe.br 2 vijay@lac.inpe.br 3 dani.guimaraes@gmail.com 4 anasil@lac.inpe.br 5 ericaferrso@cea.inpe.br |
Endereço de e-Mail | dani.guimaraes@gmail.com |
Nome do Evento | Software Testing Verification and Validation Workshop, 2008. ICSTW '08. IEEE International Conference on Software Testing Verification and Validation Workshop. |
Localização do Evento | Lillehammer |
Data | 2008 |
Páginas | 63-72 |
Título do Livro | Proceedings |
Tipo Terciário | Paper |
Histórico (UTC) | 2008-12-18 18:47:51 :: lattes -> marciana :: 2009-01-06 12:07:13 :: marciana -> administrator :: 2021-02-06 21:47:41 :: administrator -> marciana :: 2008 |
|
3. Conteúdo e estrutura | |
É a matriz ou uma cópia? | é a matriz |
Estágio do Conteúdo | concluido |
Transferível | 1 |
Tipo do Conteúdo | External Contribution |
Tipo de Versão | publisher |
Palavras-Chave | statecharts test case generation Finite State Machine |
Resumo | Automated test case generation from behavioral models like Finite State Machines (FSMs) and Statecharts has long been studied. Environments that enable a test designer to model a real complex software and to obtain test cases to validate such a software are mandatory in an automated test approach. This paper presents an environment, GTSC, which enables test sequences to be obtained from both Statechart-based and FSM-based behavioral models. The environment supports test case generation from some test methods for FSM, such as switch cover, DS and UIO methods, and also from some test criteria for Statecharts based on the SCCF family. Two case studies involving embedded software developed for two computers of scientific experiments of a satellite under development at National Institute for Space Research (INPE) are presented in order to show the usefulness of the environment. |
Área | COMP |
Arranjo 1 | urlib.net > BDMCI > Fonds > Produção anterior à 2021 > LABAC > An Environment for... |
Arranjo 2 | urlib.net > BDMCI > Fonds > Produção anterior à 2021 > DIDAS > An Environment for... |
Conteúdo da Pasta doc | acessar |
Conteúdo da Pasta source | não têm arquivos |
Conteúdo da Pasta agreement | não têm arquivos |
|
4. Condições de acesso e uso | |
Idioma | en |
Arquivo Alvo | santiago_environment.pdf |
Grupo de Usuários | lattes marciana administrator marciana |
Grupo de Leitores | administrator marciana |
Visibilidade | shown |
Permissão de Leitura | deny from all and allow from 150.163 |
Permissão de Atualização | não transferida |
|
5. Fontes relacionadas | |
Unidades Imediatamente Superiores | 8JMKD3MGPCW/3ESGTTP 8JMKD3MGPCW/3ETR8EH |
Acervo Hospedeiro | dpi.inpe.br/plutao@80/2008/08.19.15.01 |
|
6. Notas | |
Campos Vazios | archivingpolicy archivist callnumber copyholder copyright creatorhistory descriptionlevel dissemination edition editor format isbn issn lineage mark mirrorrepository nextedition notes numberofvolumes orcid organization parameterlist parentrepositories previousedition previouslowerunit progress project publisher publisheraddress resumeid rightsholder schedulinginformation secondarydate secondarymark serieseditor session shorttitle sponsor subject tertiarymark type url volume |
|
7. Controle da descrição | |
e-Mail (login) | marciana |
atualizar | |
|